Semanticos

dbpedia > alonzo church

formatos disponibles
Ordenar por

visualización

Lisp

Artículo Wikipedia

Lisp

El Lisp (o LISP) es una familia de lenguajes de programación de computadora de tipo multiparadigma con una larga historia y una sintaxis completamente entre paréntesis. Especificado originalmente en 1 ...

Artículo Wikipedia

Entscheidungsproblem

El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. ...

Queres acceder a máis contidos educativos?

Iniciar sesión Únete a unha clase
x

Engadir a Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Axuda do xogo
Juegos de anatomía
Selecciona nivel educativo